#include<stdio.h>
int main()
{
	int a=0;
	int b=0;
	scanf("%d%d",&a,&b);
	double s=a*b/2.0;
	if((int)s<s)
	{
	printf("%.1lf",s);
	}
	else
	{
		printf("%.0lf",s);
	}
	return 0;
}
